Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
61	Bibliography on the History of Contemporary Logic Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:31:48 Philosophical logic Philosophers of mathematics Philosophy of mathematics Philosophy of logic Ernst Schröder Gottlob Frege Term logic Mathematical logic Second-order logic Logic Philosophy Mathematics
62	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
63	Bibliography on the History of Contemporary Logic Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:43:30 Philosophical logic Philosophers of mathematics Philosophy of mathematics Philosophy of logic Ernst Schröder Gottlob Frege Term logic Mathematical logic Second-order logic Logic Philosophy Mathematics
64	Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Metalogic Computational complexity theory Proof theory Descriptive complexity Finite model theory Quantification Model theory Decidability Well-formed formula Logic Theoretical computer science Mathematical logic
65	Bibliography on the History of Contemporary Logic Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 06:56:11 Philosophical logic Philosophers of mathematics Philosophy of mathematics Philosophy of logic Ernst Schröder Gottlob Frege Term logic Mathematical logic Second-order logic Logic Philosophy Mathematics
66	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
67	CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-10 16:24:56 Functions and mappings Model theory Constructive set theory Intuitionism Mathematical constructivism Interpretation Function Constructible universe Μ operator Mathematics Mathematical logic Logic
68	"Second-Order Logic Unformalizable" Box 20, Folder 2 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pittsburgh. "Second-Order Logic Un Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:38:22 Logicians Analytic philosophy Epistemology Philosophy of science Richard J. Collins Knowledge Richard Jeffrey Analytic philosophers Philosophy
69	Open-endedness, schemas and ontological commitment∗ Nikolaj Jang Pedersen and Marcus Rossberg December 10, 2008 Abstract Second-order axiomatizations of certain important mathematical theories – such as arithmetic an Add to Reading List Source URL: www.nikolajpedersen.com Language: English - Date: 2010-02-17 05:11:03 Predicate logic Model theory Quantification Analytic philosophers First-order logic George Boolos Second-order arithmetic Peano axioms Second-order logic Logic Mathematical logic Mathematics
70	Complete and Annotated Bibliography of Nino Cocchiarella Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:25:21 Predicate logic Semantics Philosophy of language Ontology Philosophical logic Nino Cocchiarella Philosophy of logic Second-order logic Predicate Logic Mathematical logic Philosophy

UPDATE